[INFO] fetching crate proto-vulcan 0.1.6...
[INFO] checking proto-vulcan-0.1.6 against master#158f00a1c5175648af6f6099b075f78d1d014a28 for pr-121251
[INFO] extracting crate proto-vulcan 0.1.6 into /workspace/builds/worker-5-tc1/source
[INFO] validating manifest of crates.io crate proto-vulcan 0.1.6 on toolchain 158f00a1c5175648af6f6099b075f78d1d014a28
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+158f00a1c5175648af6f6099b075f78d1d014a28" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] started tweaking crates.io crate proto-vulcan 0.1.6
[INFO] removed 0 missing examples
[INFO] finished tweaking crates.io crate proto-vulcan 0.1.6
[INFO] tweaked toml for crates.io crate proto-vulcan 0.1.6 written to /workspace/builds/worker-5-tc1/source/Cargo.toml
[INFO] crate crates.io crate proto-vulcan 0.1.6 already has a lockfile, it will not be regenerated
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+158f00a1c5175648af6f6099b075f78d1d014a28" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded crossterm_winapi v0.7.0
[INFO] [stderr]   Downloaded crossterm_winapi v0.6.2
[INFO] [stderr]   Downloaded serde_derive v1.0.128
[INFO] [stderr]   Downloaded proto-vulcan-macros v0.1.6
[INFO] [stderr]   Downloaded crossterm v0.19.0
[INFO] [stderr]   Downloaded tui v0.14.0
[INFO] [stderr]   Downloaded crossterm v0.18.2
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:2788e3201cd34a07e3172128adcd8b3090168a8e3bcc40d7c032b9dda1df7d1c" "/opt/rustwide/cargo-home/bin/cargo" "+158f00a1c5175648af6f6099b075f78d1d014a28" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] b8b73734ebfa2a3edf5ef7f94deaf8232c566166e8887007619e10dc43ea92e6
[INFO] running `Command { std: "docker" "start" "-a" "b8b73734ebfa2a3edf5ef7f94deaf8232c566166e8887007619e10dc43ea92e6", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "b8b73734ebfa2a3edf5ef7f94deaf8232c566166e8887007619e10dc43ea92e6", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "b8b73734ebfa2a3edf5ef7f94deaf8232c566166e8887007619e10dc43ea92e6", kill_on_drop: false }`
[INFO] [stdout] b8b73734ebfa2a3edf5ef7f94deaf8232c566166e8887007619e10dc43ea92e6
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:2788e3201cd34a07e3172128adcd8b3090168a8e3bcc40d7c032b9dda1df7d1c" "/opt/rustwide/cargo-home/bin/cargo" "+158f00a1c5175648af6f6099b075f78d1d014a28" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] ca274493d458d6781bde0a1d955809928616a3a2d484cfe41e755ce377bd0663
[INFO] running `Command { std: "docker" "start" "-a" "ca274493d458d6781bde0a1d955809928616a3a2d484cfe41e755ce377bd0663", kill_on_drop: false }`
[INFO] [stderr]    Compiling proc-macro2 v1.0.26
[INFO] [stderr]    Compiling unicode-xid v0.2.2
[INFO] [stderr]    Compiling syn v1.0.72
[INFO] [stderr]     Checking either v1.6.1
[INFO] [stderr]     Checking itertools v0.9.0
[INFO] [stderr]    Compiling quote v1.0.9
[INFO] [stderr]    Compiling proto-vulcan-macros v0.1.6
[INFO] [stderr]    Compiling derivative v2.2.0
[INFO] [stderr]     Checking proto-vulcan v0.1.6 (/opt/rustwide/workdir)
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/relation/clpfd/distinctfd.rs:187:13
[INFO] [stdout]     |
[INFO] [stdout] 187 |         let mut mself = Rc::make_mut(&mut self);
[INFO] [stdout]     |             ----^^^^^
[INFO] [stdout]     |             |
[INFO] [stdout]     |             help: remove this `mut`
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_mut)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: 1 warning emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/relation/clpfd/distinctfd.rs:187:13
[INFO] [stdout]     |
[INFO] [stdout] 187 |         let mut mself = Rc::make_mut(&mut self);
[INFO] [stdout]     |             ----^^^^^
[INFO] [stdout]     |             |
[INFO] [stdout]     |             help: remove this `mut`
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_mut)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: 1 warning emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 10.36s
[INFO] running `Command { std: "docker" "inspect" "ca274493d458d6781bde0a1d955809928616a3a2d484cfe41e755ce377bd0663", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "ca274493d458d6781bde0a1d955809928616a3a2d484cfe41e755ce377bd0663", kill_on_drop: false }`
[INFO] [stdout] ca274493d458d6781bde0a1d955809928616a3a2d484cfe41e755ce377bd0663
[INFO] checking proto-vulcan-0.1.6 against try#b4fc5dbf0bc33be331f9d893db5b3a794f29724a+rustflags=-Dexplicit_range -Dtrait_impl_range -Wrange_syntax -Wrange_bounds for pr-121251
[INFO] extracting crate proto-vulcan 0.1.6 into /workspace/builds/worker-5-tc2/source
[INFO] validating manifest of crates.io crate proto-vulcan 0.1.6 on toolchain b4fc5dbf0bc33be331f9d893db5b3a794f29724a
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+b4fc5dbf0bc33be331f9d893db5b3a794f29724a" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] started tweaking crates.io crate proto-vulcan 0.1.6
[INFO] removed 0 missing examples
[INFO] finished tweaking crates.io crate proto-vulcan 0.1.6
[INFO] tweaked toml for crates.io crate proto-vulcan 0.1.6 written to /workspace/builds/worker-5-tc2/source/Cargo.toml
[INFO] crate crates.io crate proto-vulcan 0.1.6 already has a lockfile, it will not be regenerated
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+b4fc5dbf0bc33be331f9d893db5b3a794f29724a" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:2788e3201cd34a07e3172128adcd8b3090168a8e3bcc40d7c032b9dda1df7d1c" "/opt/rustwide/cargo-home/bin/cargo" "+b4fc5dbf0bc33be331f9d893db5b3a794f29724a" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 6119f5dc91eefef3c6d97866ac94665d8080cb7be8fae441163dd95d271cae82
[INFO] running `Command { std: "docker" "start" "-a" "6119f5dc91eefef3c6d97866ac94665d8080cb7be8fae441163dd95d271cae82", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "6119f5dc91eefef3c6d97866ac94665d8080cb7be8fae441163dd95d271cae82", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "6119f5dc91eefef3c6d97866ac94665d8080cb7be8fae441163dd95d271cae82", kill_on_drop: false }`
[INFO] [stdout] 6119f5dc91eefef3c6d97866ac94665d8080cb7be8fae441163dd95d271cae82
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid -Dexplicit_range -Dtrait_impl_range -Wrange_syntax -Wrange_bounds" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:2788e3201cd34a07e3172128adcd8b3090168a8e3bcc40d7c032b9dda1df7d1c" "/opt/rustwide/cargo-home/bin/cargo" "+b4fc5dbf0bc33be331f9d893db5b3a794f29724a" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] b2ce3bf005d3c05fe57ea3861c36710100d1b556b8003ae3e3ed05fdf9ef4609
[INFO] running `Command { std: "docker" "start" "-a" "b2ce3bf005d3c05fe57ea3861c36710100d1b556b8003ae3e3ed05fdf9ef4609", kill_on_drop: false }`
[INFO] [stderr]    Compiling proc-macro2 v1.0.26
[INFO] [stderr]    Compiling unicode-xid v0.2.2
[INFO] [stderr]    Compiling syn v1.0.72
[INFO] [stderr]     Checking either v1.6.1
[INFO] [stderr]     Checking itertools v0.9.0
[INFO] [stderr]    Compiling quote v1.0.9
[INFO] [stderr]    Compiling proto-vulcan-macros v0.1.6
[INFO] [stderr]    Compiling derivative v2.2.0
[INFO] [stderr]     Checking proto-vulcan v0.1.6 (/opt/rustwide/workdir)
[INFO] [stdout] warning: usage of `RangeInclusive` range syntax
[INFO] [stdout]    --> src/relation/clpfd/minusfd.rs:163:29
[INFO] [stdout]     |
[INFO] [stdout] 163 | ...                   umin.saturating_sub(vmax)..=umax.saturating_sub(vmin),
[INFO] [stdout]     |                       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: requested on the command line with `-W range-syntax`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeInclusive` range syntax
[INFO] [stdout]    --> src/relation/clpfd/minusfd.rs:169:29
[INFO] [stdout]     |
[INFO] [stdout] 169 | ...                   wmin.saturating_add(vmin)..=wmax.saturating_add(vmax),
[INFO] [stdout]     |                       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeInclusive` range syntax
[INFO] [stdout]    --> src/relation/clpfd/minusfd.rs:175:29
[INFO] [stdout]     |
[INFO] [stdout] 175 | ...                   umin.saturating_sub(wmax)..=umax.saturating_sub(wmin),
[INFO] [stdout]     |                       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeInclusive` range syntax
[INFO] [stdout]    --> src/relation/clpfd/plusfd.rs:160:29
[INFO] [stdout]     |
[INFO] [stdout] 160 | ...                   umin.saturating_add(vmin)..=umax.saturating_add(vmax),
[INFO] [stdout]     |                       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeInclusive` range syntax
[INFO] [stdout]    --> src/relation/clpfd/plusfd.rs:166:29
[INFO] [stdout]     |
[INFO] [stdout] 166 | ...                   wmin.saturating_sub(vmax)..=wmax.saturating_sub(vmin),
[INFO] [stdout]     |                       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeInclusive` range syntax
[INFO] [stdout]    --> src/relation/clpfd/plusfd.rs:172:29
[INFO] [stdout]     |
[INFO] [stdout] 172 | ...                   wmin.saturating_sub(umax)..=wmax.saturating_sub(umin),
[INFO] [stdout]     |                       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeInclusive` range syntax
[INFO] [stdout]    --> src/relation/clpfd/timesfd.rs:163:29
[INFO] [stdout]     |
[INFO] [stdout] 163 | ...                   umin.saturating_mul(vmin)..=umax.saturating_mul(vmax),
[INFO] [stdout]     |                       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeInclusive` range syntax
[INFO] [stdout]    --> src/relation/clpfd/timesfd.rs:169:29
[INFO] [stdout]     |
[INFO] [stdout] 169 | / ...                   wmin.checked_div(vmax).unwrap_or(umin)
[INFO] [stdout] 170 | | ...                       ..=wmax.checked_div(vmin).unwrap_or(umax),
[INFO] [stdout]     | |___________________________________________________________________^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeInclusive` range syntax
[INFO] [stdout]    --> src/relation/clpfd/timesfd.rs:176:29
[INFO] [stdout]     |
[INFO] [stdout] 176 | / ...                   wmin.checked_div(umax).unwrap_or(vmin)
[INFO] [stdout] 177 | | ...                       ..=wmax.checked_div(umin).unwrap_or(vmax),
[INFO] [stdout]     | |___________________________________________________________________^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeInclusive` range syntax
[INFO] [stdout]   --> src/state/fd.rs:48:29
[INFO] [stdout]    |
[INFO] [stdout] 48 |                     let r = *r.start()..=u.saturating_sub(1);
[INFO] [stdout]    |                             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeInclusive` range syntax
[INFO] [stdout]   --> src/state/fd.rs:72:29
[INFO] [stdout]    |
[INFO] [stdout] 72 |                     let r = u..=*r.end();
[INFO] [stdout]    |                             ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeInclusive` range syntax
[INFO] [stdout]   --> src/state/fd.rs:96:49
[INFO] [stdout]    |
[INFO] [stdout] 96 |                     Some(FiniteDomain::Interval(max_start..=min_end))
[INFO] [stdout]    |                                                 ^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeInclusive` range syntax
[INFO] [stdout]    --> src/state/fd.rs:305:28
[INFO] [stdout]     |
[INFO] [stdout] 305 |         FiniteDomain::from(u..=u)
[INFO] [stdout]     |                            ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeFrom` range syntax
[INFO] [stdout]     --> src/lterm.rs:1233:28
[INFO] [stdout]      |
[INFO] [stdout] 1233 |             "proto-vulcan"[0..]
[INFO] [stdout]      |                            ^^^
[INFO] [stdout]      |
[INFO] [stdout]      = note: requested on the command line with `-W range-syntax`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeFrom` range syntax
[INFO] [stdout]     --> src/lterm.rs:1237:28
[INFO] [stdout]      |
[INFO] [stdout] 1237 |             "proto-vulcan"[0..]
[INFO] [stdout]      |                            ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeFrom` range syntax
[INFO] [stdout]     --> src/lterm.rs:1240:28
[INFO] [stdout]      |
[INFO] [stdout] 1240 |             "proto-vulcan"[0..],
[INFO] [stdout]      |                            ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeFrom` range syntax
[INFO] [stdout]     --> src/lterm.rs:1244:28
[INFO] [stdout]      |
[INFO] [stdout] 1244 |             "proto-vulcan"[0..],
[INFO] [stdout]      |                            ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeFrom` range syntax
[INFO] [stdout]    --> src/lvalue.rs:286:25
[INFO] [stdout]     |
[INFO] [stdout] 286 |         assert!(u == s2[0..]);
[INFO] [stdout]     |                         ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeFrom` range syntax
[INFO] [stdout]    --> src/lvalue.rs:287:20
[INFO] [stdout]     |
[INFO] [stdout] 287 |         assert!(s2[0..] == u);
[INFO] [stdout]     |                    ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeInclusive` range syntax
[INFO] [stdout]    --> src/relation/clpfd/distinctfd.rs:273:28
[INFO] [stdout]     |
[INFO] [stdout] 273 |             infdrange(q, &(0..=2)),
[INFO] [stdout]     |                            ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeInclusive` range syntax
[INFO] [stdout]    --> src/relation/clpfd/distinctfd.rs:286:28
[INFO] [stdout]     |
[INFO] [stdout] 286 |             infdrange(q, &(0..=2)),
[INFO] [stdout]     |                            ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeInclusive` range syntax
[INFO] [stdout]    --> src/relation/clpfd/distinctfd.rs:297:40
[INFO] [stdout]     |
[INFO] [stdout] 297 |                 infdrange([x, y, z], &(0..=2)),
[INFO] [stdout]     |                                        ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeInclusive` range syntax
[INFO] [stdout]    --> src/relation/clpfd/distinctfd.rs:316:40
[INFO] [stdout]     |
[INFO] [stdout] 316 |                 infdrange([a, b, c], &(1..=3)),
[INFO] [stdout]     |                                        ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeInclusive` range syntax
[INFO] [stdout]    --> src/relation/clpfd/ltefd.rs:171:28
[INFO] [stdout]     |
[INFO] [stdout] 171 |             infdrange(q, &(0..=10)),
[INFO] [stdout]     |                            ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeInclusive` range syntax
[INFO] [stdout]    --> src/relation/clpfd/ltefd.rs:188:37
[INFO] [stdout]     |
[INFO] [stdout] 188 |                 infdrange([x, q], &(0..=10)),
[INFO] [stdout]     |                                     ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeInclusive` range syntax
[INFO] [stdout]    --> src/relation/clpfd/ltefd.rs:208:37
[INFO] [stdout]     |
[INFO] [stdout] 208 |                 infdrange([x, q], &(0..=10)),
[INFO] [stdout]     |                                     ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeInclusive` range syntax
[INFO] [stdout]    --> src/relation/clpfd/minusfd.rs:163:29
[INFO] [stdout]     |
[INFO] [stdout] 163 | ...                   umin.saturating_sub(vmax)..=umax.saturating_sub(vmin),
[INFO] [stdout]     |                       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeInclusive` range syntax
[INFO] [stdout]    --> src/relation/clpfd/minusfd.rs:169:29
[INFO] [stdout]     |
[INFO] [stdout] 169 | ...                   wmin.saturating_add(vmin)..=wmax.saturating_add(vmax),
[INFO] [stdout]     |                       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeInclusive` range syntax
[INFO] [stdout]    --> src/relation/clpfd/minusfd.rs:175:29
[INFO] [stdout]     |
[INFO] [stdout] 175 | ...                   umin.saturating_sub(wmax)..=umax.saturating_sub(wmin),
[INFO] [stdout]     |                       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeInclusive` range syntax
[INFO] [stdout]    --> src/relation/clpfd/plusfd.rs:160:29
[INFO] [stdout]     |
[INFO] [stdout] 160 | ...                   umin.saturating_add(vmin)..=umax.saturating_add(vmax),
[INFO] [stdout]     |                       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeInclusive` range syntax
[INFO] [stdout]    --> src/relation/clpfd/plusfd.rs:166:29
[INFO] [stdout]     |
[INFO] [stdout] 166 | ...                   wmin.saturating_sub(vmax)..=wmax.saturating_sub(vmin),
[INFO] [stdout]     |                       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeInclusive` range syntax
[INFO] [stdout]    --> src/relation/clpfd/plusfd.rs:172:29
[INFO] [stdout]     |
[INFO] [stdout] 172 | ...                   wmin.saturating_sub(umax)..=wmax.saturating_sub(umin),
[INFO] [stdout]     |                       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeInclusive` range syntax
[INFO] [stdout]    --> src/relation/clpfd/plusfd.rs:209:43
[INFO] [stdout]     |
[INFO] [stdout] 209 |                 infdrange([x, y, z, q], &(0..=9)),
[INFO] [stdout]     |                                           ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeInclusive` range syntax
[INFO] [stdout]    --> src/relation/clpfd/plusfd.rs:228:40
[INFO] [stdout]     |
[INFO] [stdout] 228 |                 infdrange([x, y, z], &(0..=3)),
[INFO] [stdout]     |                                        ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeInclusive` range syntax
[INFO] [stdout]    --> src/relation/clpfd/timesfd.rs:163:29
[INFO] [stdout]     |
[INFO] [stdout] 163 | ...                   umin.saturating_mul(vmin)..=umax.saturating_mul(vmax),
[INFO] [stdout]     |                       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeInclusive` range syntax
[INFO] [stdout]    --> src/relation/clpfd/timesfd.rs:169:29
[INFO] [stdout]     |
[INFO] [stdout] 169 | / ...                   wmin.checked_div(vmax).unwrap_or(umin)
[INFO] [stdout] 170 | | ...                       ..=wmax.checked_div(vmin).unwrap_or(umax),
[INFO] [stdout]     | |___________________________________________________________________^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeInclusive` range syntax
[INFO] [stdout]    --> src/relation/clpfd/timesfd.rs:176:29
[INFO] [stdout]     |
[INFO] [stdout] 176 | / ...                   wmin.checked_div(umax).unwrap_or(vmin)
[INFO] [stdout] 177 | | ...                       ..=wmax.checked_div(umin).unwrap_or(vmax),
[INFO] [stdout]     | |___________________________________________________________________^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeInclusive` range syntax
[INFO] [stdout]    --> src/relation/clpfd/timesfd.rs:213:37
[INFO] [stdout]     |
[INFO] [stdout] 213 |                 infdrange([x, y], &(0..=6)),
[INFO] [stdout]     |                                     ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeInclusive` range syntax
[INFO] [stdout]   --> src/state/fd.rs:48:29
[INFO] [stdout]    |
[INFO] [stdout] 48 |                     let r = *r.start()..=u.saturating_sub(1);
[INFO] [stdout]    |                             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeInclusive` range syntax
[INFO] [stdout]   --> src/state/fd.rs:72:29
[INFO] [stdout]    |
[INFO] [stdout] 72 |                     let r = u..=*r.end();
[INFO] [stdout]    |                             ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeInclusive` range syntax
[INFO] [stdout]   --> src/state/fd.rs:96:49
[INFO] [stdout]    |
[INFO] [stdout] 96 |                     Some(FiniteDomain::Interval(max_start..=min_end))
[INFO] [stdout]    |                                                 ^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeInclusive` range syntax
[INFO] [stdout]    --> src/state/fd.rs:305:28
[INFO] [stdout]     |
[INFO] [stdout] 305 |         FiniteDomain::from(u..=u)
[INFO] [stdout]     |                            ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeInclusive` range syntax
[INFO] [stdout]    --> src/state/fd.rs:335:37
[INFO] [stdout]     |
[INFO] [stdout] 335 |         let fd = FiniteDomain::from(1..=8);
[INFO] [stdout]     |                                     ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeInclusive` range syntax
[INFO] [stdout]    --> src/state/fd.rs:367:37
[INFO] [stdout]     |
[INFO] [stdout] 367 |         let fd = FiniteDomain::from(1..=8);
[INFO] [stdout]     |                                     ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeInclusive` range syntax
[INFO] [stdout]    --> src/state/fd.rs:399:36
[INFO] [stdout]     |
[INFO] [stdout] 399 |         let a = FiniteDomain::from(1..=6);
[INFO] [stdout]     |                                    ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeInclusive` range syntax
[INFO] [stdout]    --> src/state/fd.rs:400:36
[INFO] [stdout]     |
[INFO] [stdout] 400 |         let b = FiniteDomain::from(4..=8);
[INFO] [stdout]     |                                    ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeInclusive` range syntax
[INFO] [stdout]    --> src/state/fd.rs:401:36
[INFO] [stdout]     |
[INFO] [stdout] 401 |         let c = FiniteDomain::from(10..=12);
[INFO] [stdout]     |                                    ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeInclusive` range syntax
[INFO] [stdout]    --> src/state/fd.rs:405:46
[INFO] [stdout]     |
[INFO] [stdout] 405 |         assert_eq!(isect, FiniteDomain::from(4..=6));
[INFO] [stdout]     |                                              ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeInclusive` range syntax
[INFO] [stdout]    --> src/state/fd.rs:414:36
[INFO] [stdout]     |
[INFO] [stdout] 414 |         let a = FiniteDomain::from(1..=6);
[INFO] [stdout]     |                                    ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/relation/clpfd/distinctfd.rs:187:13
[INFO] [stdout]     |
[INFO] [stdout] 187 |         let mut mself = Rc::make_mut(&mut self);
[INFO] [stdout]     |             ----^^^^^
[INFO] [stdout]     |             |
[INFO] [stdout]     |             help: remove this `mut`
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_mut)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: explicit usage of `RangeInclusive` type in public function
[INFO] [stdout]   --> src/relation/clpfd/infd.rs:28:52
[INFO] [stdout]    |
[INFO] [stdout] 28 | pub fn infdrange<U, E, G>(u: LTerm<U, E>, domain: &RangeInclusive<isize>) -> InferredGoal<U, E, G>
[INFO] [stdout]    |                                                    ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: requested on the command line with `-D explicit-range`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: explicit usage of `RangeInclusive` type in public enum definition
[INFO] [stdout]   --> src/state/fd.rs:10:14
[INFO] [stdout]    |
[INFO] [stdout] 10 |     Interval(RangeInclusive<isize>),
[INFO] [stdout]    |              ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: explicit usage of `RangeInclusive` type in public enum definition
[INFO] [stdout]    --> src/state/fd.rs:233:18
[INFO] [stdout]     |
[INFO] [stdout] 233 |     IntervalIter(RangeInclusive<isize>),
[INFO] [stdout]     |                  ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: explicit usage of `RangeInclusive` type in public enum definition
[INFO] [stdout]    --> src/state/fd.rs:258:18
[INFO] [stdout]     |
[INFO] [stdout] 258 |     IntervalIter(RangeInclusive<isize>),
[INFO] [stdout]     |                  ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: public trait impl involving `RangeInclusive` type
[INFO] [stdout]    --> src/state/fd.rs:291:11
[INFO] [stdout]     |
[INFO] [stdout] 291 | impl From<RangeInclusive<isize>> for FiniteDomain {
[INFO] [stdout]     |           ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: requested on the command line with `-D trait-impl-range`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: explicit usage of `RangeInclusive` type in public function
[INFO] [stdout]    --> src/state/fd.rs:292:16
[INFO] [stdout]     |
[INFO] [stdout] 292 |     fn from(r: RangeInclusive<isize>) -> FiniteDomain {
[INFO] [stdout]     |                ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: public trait impl involving `RangeInclusive` type
[INFO] [stdout]    --> src/state/fd.rs:297:12
[INFO] [stdout]     |
[INFO] [stdout] 297 | impl From<&RangeInclusive<isize>> for FiniteDomain {
[INFO] [stdout]     |            ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: explicit usage of `RangeInclusive` type in public function
[INFO] [stdout]    --> src/state/fd.rs:298:17
[INFO] [stdout]     |
[INFO] [stdout] 298 |     fn from(r: &RangeInclusive<isize>) -> FiniteDomain {
[INFO] [stdout]     |                 ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: aborting due to 8 previous errors; 14 warnings emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `proto-vulcan` (lib) due to 9 previous errors; 14 warnings emitted
[INFO] [stderr] warning: build failed, waiting for other jobs to finish...
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/relation/clpfd/distinctfd.rs:187:13
[INFO] [stdout]     |
[INFO] [stdout] 187 |         let mut mself = Rc::make_mut(&mut self);
[INFO] [stdout]     |             ----^^^^^
[INFO] [stdout]     |             |
[INFO] [stdout]     |             help: remove this `mut`
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_mut)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: 37 warnings emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] running `Command { std: "docker" "inspect" "b2ce3bf005d3c05fe57ea3861c36710100d1b556b8003ae3e3ed05fdf9ef4609", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "b2ce3bf005d3c05fe57ea3861c36710100d1b556b8003ae3e3ed05fdf9ef4609", kill_on_drop: false }`
[INFO] [stdout] b2ce3bf005d3c05fe57ea3861c36710100d1b556b8003ae3e3ed05fdf9ef4609
